Padroneggiare Rust richiede un passaggio dalla logica concettuale alla precisione lessicale precisione lessicale. Questo processo inizia con gli Appunti—un mappaggio formale della sintassi del linguaggio. Trattiamo letterali, commenti e simboli come gli atomi del codice Rust, distinti dalla logica che ne derivano.
1. Il registro dei letterali
Rust distingue i tipi a livello del compilatore tramite letterali specializzati. Mentre "..." gestisce le stringhe standard, letterali stringa grezza (r"...") evitano la "colite delle barre rovesciate" ignorando le sequenze di escape. Per dati a basso livello, letterali byte (b"...") e letterali byte ASCII forniscono una mappatura diretta a u8 mappatura.
2. La semantica dello spazio "vuoto"
Il Tipo Unità (()) rappresenta una tupla con zero elementi, utilizzato quando non viene restituito alcun valore. In contrasto, il Tipo inferiore vuoto (!) indica codice che non ritorna mai (funzioni divergenti). Il Terminatore di istruzione (;) è il confine cruciale che trasforma un'espressione produttrice di valori in un'istruzione.
3. Documentazione come architettura
I commenti sono più delle semplici annotazioni; sono metadati. Commenti di documentazione esterni (///) documentano l'elemento successivo, mentre commenti di documentazione interni (//!) documentano l'elemento in cui si trovano (come un crate o la radice di un modulo).